The SpecC System - Level Design Language and Methodology , Part 2 Class 349
نویسندگان
چکیده
A well-defined design methodology supported by a system-level design language (SLDL) is the key for managing the complexity of the design flow, especially at the system level. Only with well-defined and unambiguous models and transformations can we achieve productivity gains through synthesis, verification and tool interoperability. This paper presents the SpecC system design methodology. It shows how, through gradual, stepwise refinement, a design is taken from specification down to implementation. Finally, it introduces a design example of industrial-strength that has been implemented following the methodology, including the results and productivity gains achieved. This is the second paper in a two-part series. This part covers the SpecC methodology and its application to an industrial design example, a GSM vocoder.
منابع مشابه
The SpecC System - Level Design Language and Methodology , Part 1 Class 309
A well-defined design methodology supported by a system-level design language (SLDL) is the key for managing the complexity of the design flow, especially at the system level. Only with well-defined and unambiguous models and transformations can we achieve productivity gains through synthesis, verification and tool interoperability. This paper presents the SpecC system design language. After a ...
متن کاملSpecC Methodology for High-Level Modeling
The key for managing the complexity of embedded system design is a well-defined methodology supported by a clearly structured system-level design language. The SpecC methodology described in this paper is based on the SpecC language and consists of a set of well-defined and unambiguous design models and a set of well-defined transformations that refine one model to the next. Given these models ...
متن کاملFormal Refinement Checking in a System-level Design Methodology
Rising complexity, increasing performance requirements, and shortening time-to-market demands necessitate newer design paradigms for embedded system design. Such newer design methodologies require raising the level of abstraction for design entry, reuse of intellectual property blocks as virtual components, refinement based design, and formal verification to prove correctness of refinement step...
متن کاملCo - design of Emulators for Power electric Processes Using SpecC
-Emulation of CMS 1 systems is an interesting approach to complete the validation of new digital control unit and to perform the diagnosis tasks. However to be efficient, the emulator have to run in real time in order to reproduce exactly the physical process functioning. This paper describes the design of an Autonomous Emulator employing the system-level design methodology developed at CECS-UC...
متن کاملSpecC System-Level Design Methodology Applied to the Design of a GSM Vocoder
| In this paper we describe the steps and transformations of the SpecC system-level design methodology applied to the example of designing and implementing a voice encoding/decoding system with the purpose of demonstrating this design methodology on an industrial size example. Starting with the system speci cation, the design is gradually re ned down to an optimal hardware/software implementati...
متن کامل